翻訳と辞書
Words near each other
・ モニシャ・カルテンボーン
・ モニストロル・ダリエ
・ モニストロル=ダリエ
・ モニタ
・ モニタ (同期)
・ モニタリング
・ モニタリング制度
・ モニタリング機器
・ モニター
・ モニター (ウガンダの新聞)
モニター (同期)
・ モニター (装甲艦)
・ モニター、監視(装置)
・ モニター、監視装置、監視員
・ モニターオーディオ
・ モニターグラフィックスデザイナー
・ モニターグラフィックスデザイン
・ モニターシステム
・ モニタースピーカー
・ モニターモデル


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

モニター (同期) : ウィキペディア日本語版
モニタ (同期)
モニタ(Monitor)は、リソース(何らかのハードウェア機器や変数群)を共有する複数のタスク同期を実現する手法である。
Per Brinch Hansen が発明し、Concurrent Pascal 言語に最初に実装され、Solo Operating System でのプロセス間通信方式として使われた。
==相互排他==
モニタは以下のものから構成される:
* 共有リソースを操作するプロシージャ群(モニタプロシージャ、モニタ関数)
* ミューテックスロック
* リソースと結び付けられた変数
* 競合状態を防ぐために仮定されるモニタ不変条件
モニタ・プロシージャは何かをする前にロックをかけ、処理が完了するか、ある条件を待つことになるまでそれをかけておく(条件については後述)。各プロシージャがロックを解放する際に不変条件が真であることを保証するなら、競合状態となるようなリソースの状態は各タスクからは見えないということになる。
単純な例として、銀行口座のトランザクションのためのモニタを考える。
monitor account
この場合のモニタ不変条件は、簡単に言えば「新たな操作を行う際にそれ以前の全操作が balance に反映されていなければならない」ということになる。これはコード自身には書かれていないが、通常コメントに記載されるだろう。例えばEiffelのような言語は不変条件のチェックを取り入れており、ロックはコンパイラによって追加される。これはプログラマがロックとアンロックをいちいち書かなければならない言語よりも安全で信頼性が高い。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「モニタ (同期)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.